Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
181	MISSREF State – as of 30 November 2013 MISSREF – documents in the RFC Editor queue that have normative references to other documents that have not yet been approved for publication. The following graph shows the numb Add to Reading List Source URL: iaoc.ietf.org Language: English - Date: 2014-01-08 15:49:48 Request for Comments Abstract data types Queue
182	Lexical Casting in C++ August 14, 2005 Abstract Add to Reading List Source URL: www.wanderinghorse.net Language: English - Date: 2009-07-27 17:58:38 C++ Method Type theory Data types Generic programming Typedef C++ classes Copy constructor Type system Software engineering Computing Computer programming
183	Functional Data Structures for Typed Racket Hari Prashanth K R Sam Tobin-Hochstadt Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Software engineering Computer programming Pairing heap Double-ended queue Binomial heap Skew binomial heap Queue D-ary heap Heap Abstract data types Computing Priority queues
184	MISSREF State – as of 30 June 2013 MISSREF – documents in the RFC Editor queue that have normative references to other documents that have not yet been approved for publication. The following graph shows the number o Add to Reading List Source URL: iaoc.ietf.org Language: English - Date: 2013-07-12 16:44:10 Request for Comments Abstract data types Queue
185	MISSREF State – as of 28 February 2013 MISSREF – documents in the RFC Editor queue that have normative references to other documents that have not yet been approved for publication. The following graph shows the numb Add to Reading List Source URL: iaoc.ietf.org Language: English - Date: 2013-04-23 17:51:26 Cutting Computing Request for Comments Abstract data types Queue
186	Correct and Efficient Work-Stealing for Weak Memory Models Nhat Minh Lê Antoniu Pop Albert Cohen Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2013-02-19 05:42:00 Software engineering Abstract data types Computer memory Double-ended queue Threads Memory barrier Sequence container Cilk Parallel computing Computing Computer architecture Concurrency control
187	Interpreting types as abstract values Oleg Kiselyov (FNMOC) Chung-chieh Shan (Rutgers University) Formosan Summer School on Logic, Language, and Computation July 9–10, 2008 Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2008-07-19 02:12:20 Lambda calculus Type theory Logic in computer science Models of computation Data types Combinatory logic Denotational semantics Eval Type system Computing Software engineering Theoretical computer science
188	Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2014-03-08 07:11:20 Type theory Functional languages Functional programming Data types Program analysis Type system Higher-order abstract syntax Haskell OCaml Software engineering Computing Computer programming
189	Noname manuscript No. (will be inserted by the editor) B-Queue: Efficient and Practical Queuing for Fast Core-to-Core Communication Junchang Wang · Kai Zhang · Xinan Tang · Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2012-09-06 21:43:17 Computer programming Scheduling algorithms Concurrency control Cybernetics FIFO Inter-process communication Queue Circular buffer Monitor Abstract data types Computing Concurrent computing
190	Wrapping Fortran libraries Arjen Markus May 2010 Abstract Add to Reading List Source URL: tcl.activestate.com Language: English - Date: 2014-01-03 01:36:04 Procedural programming languages Scripting languages Cross-platform software Data types Array programming languages Fortran LAPACK Tcl Array programming Computing Software engineering Computer programming

UPDATE